On the ordered Dedekind real numbers in toposes
نویسنده
چکیده
In this paper it is shown that the ordered structure of the Dedekind real numbers is effectively homogeneous in any topos with natural numbers object. This result is obtained within the framework of local set theory.
منابع مشابه
Dedekind cuts of Archimedean complete ordered abelian groups
A Dedekind cut of an ordered abelian group G is a pair (X, Y) of nonempty subsets of G where Y=G−X and every member of X precedes every member of Y. A Dedekind cut (X, Y) is said to be continuous if X has a greatest member or Y has a least member, but not both; if every Dedekind cut of G is a continuous cut, G is said to be (Dedekind) continuous. The ordered abelian group R of real numbers is, ...
متن کاملFiniteness and Computation in Toposes
Some notions in mathematics can be considered relative. Relative is a term used to denote when the variation in the position of an observer implies variation in properties or measures on the observed object. We know, from Skolem theorem, that there are first-order models where R is countable and some where it is not. This fact depends on the position of the observer and on the instrument/langua...
متن کاملUsing Nets in Dedekind, Monotone, or Scott Incomplete Ordered Fields and Definability Issues
Given a Dedekind incomplete ordered field, a pair of convergent nets of gaps which are respectively increasing or decreasing to the same point is used to obtain a further equivalent criterion for Dedekind completeness of ordered fields: Every continuous one-to-one function defined on a closed bounded interval maps interior of that interval to the interior of the image. Next, it is shown that ov...
متن کاملContinuum as a Primitive Type: Towards the Intuitionistic Analysis
It is a ubiquitous opinion among mathematicians that a real number is just a point in the (real) line. If this rough definition is not enough, then a mathematician may provide a formal definition of the real numbers in the set theoretical and axiomatic fashion, i.e. via Cauchy sequences or Dedekind cuts, or as the collection of axioms (up to isomorphism) characterizing exactly the set of real n...
متن کاملDedekind's Real Numbers
Richard Dedekind's characterization of the real numbers as the system of cuts of rational numbers is by now the standard in almost every mathematical book on analysis or number theory. In the philosophy of mathematics Dedekind is given credit for this achievement, but his more general views are discussed very rarely and only superrcially. For example, Leo Corry, who dedicates a whole chapter of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006